Model theory - PDFSEARCH.IO - Document Search Engine

Model theory
Results: 13417

#	Item
311	A Sketch for a Quantum Theory of Gravity V Quantized Cosmology, valid over expanding radius range, 10−13 m → 7.4 × 1025 m James G. Gilson ∗ Add to Reading List Source URL: www.fine-structure-constant.org Language: English - Date: 2012-11-10 13:06:50 Physics Theoretical physics Theories of gravitation General relativity Physical cosmology Physics beyond the Standard Model Cosmological constant Quantum mechanics Quantum gravity Gravitational constant Dimensionless physical constant Pi
312	Mathematical Population Genetics Lecture Notes Joachim Hermisson December 13, 2014 Add to Reading List Source URL: www.mabs.at Language: English - Date: 2014-12-15 03:50:40 Biology Population genetics Genetics Evolutionary biology Genetic genealogy Sexual selection Genetic drift Fixation Infinite alleles model Neutral theory of molecular evolution Natural selection Inbreeding
313	Robustness of Markov processes on large networks R.S.MacKay Mathematics Institute and Centre for Complexity Science, University of Warwick, Coventry CV4 7AL, UK Add to Reading List Source URL: www2.warwick.ac.uk Language: English - Date: 1970-01-01 18:00:00 Mathematical analysis Mathematics Probability theory Markov processes Stochastic processes Graph theory Markov chain Spectral theory Ising model Mixing Decomposition of spectrum Spectral theory of ordinary differential equations
314	Microsoft Word - PORTS_handout_2016rev022516 Add to Reading List Source URL: www.ports.parks.ca.gov Language: English - Date: 2016-02-29 14:18:09 FO Finite model theory
315	1606 IEEE TRANSACTIONS ON PATTERN ANALYSIS AND MACHINE INTELLIGENCE, VOL. 35, Add to Reading List Source URL: eceweb.ucsd.edu Language: English - Date: 2015-07-31 19:00:24 Statistics Estimation theory Markov models Cluster analysis Control theory Expectationmaximization algorithm Missing data Kalman filter Mixture model Hierarchical clustering Image segmentation K-means clustering
316	Abstracting Abstract Machines David Van Horn ∗ Matthew Might Northeastern University Add to Reading List Source URL: www.ccs.neu.edu Language: English - Date: 2010-07-26 15:43:30 Logic Automated theorem proving Logic programming Logical truth Propositional calculus Substitution Model theory Philosophy Symbol
317	MrBayesPrimer (with a focus on model selection) Jeremy M. Brown Dept. of Biological Sciences Louisiana State University www.phyleauxgenetics.org Add to Reading List Source URL: treethinkers.org Language: English - Date: 2014-03-09 14:13:45 Statistics Statistical theory Probability Bayesian statistics Bioinformatics Computational phylogenetics Command shells Probability distributions Markov chain Monte Carlo Substitution model IBM i Control Language Command-line interface
318	A convex formulation for model predictive perimeter flow control in multi-region cities Anastasios Kouvelas Mohammadreza Saeedmanesh Nikolas Geroliminis École Polytechnique Fédérale de Lausanne Add to Reading List Source URL: www.strc.ch Language: English - Date: 2016-06-15 07:09:41 Transport Land transport Mathematical optimization Operations research Road transport Convex optimization Control theory Model predictive control Linear programming Traffic flow Fundamental diagram of traffic flow Optimal control
319	Eskolemization in intuitionistic logic Matthias Baaz∗ Inst. for Discr. Math. and Geom. Technical University Vienna Wiedner HauptstrasseVienna, Austria Add to Reading List Source URL: www.phil.uu.nl Language: English - Date: 2009-04-03 05:11:01 Logic Mathematical logic Abstraction Model theory Proof theory Predicate logic Philosophical logic Non-classical logic Sequent First-order logic Quantifier Skolem normal form

UPDATE